логический вывод — inference
цепочка вывода — inference chain
правило вывода — rule of inference
схемы вывода — inference machinery
формальный вывод — formal inference
Русско-английский большой базовый словарь. 2014.
Апории Зенона — … Википедия
Индия — (на языке хинди Бхарат) официальное название Республика Индия. I. Общие сведения И. государство в Южной Азии, в бассейне Индийского океана. И. находится на важнейших морских и воздушных коммуникациях,… … Большая советская энциклопедия
Сколем Туральф Альберт — Сколем, Скулем (Skolem) Туральф Альберт (23.5.1887, Сансвер, ‒ 23.3.1963, Осло), норвежский математик, логик и философ. Окончил университет в Осло (1913), профессор там же (1938), член Норвежской АН (1938). Работы по теории чисел, различным… … Большая советская энциклопедия
Сколем — Скулем (Skolem) Туральф Альберт (23.5.1887, Сансвер, 23.3.1963, Осло), норвежский математик, логик и философ. Окончил университет в Осло (1913), профессор там же (1938), член Норвежской АН (1938). Работы по теории чисел, различным… … Большая советская энциклопедия
Электроника-60 — Тип Промышленная микроЭВМ Выпущен ? Выпускался по … Википедия
определение — 2.7 определение: Процесс выполнения серии операций, регламентированных в документе на метод испытаний, в результате выполнения которых получают единичное значение. Источник … Словарь-справочник терминов нормативно-технической документации
ГЁДЕЛЬ — (Gödel) Курт (1906 1978) математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях… … История Философии: Энциклопедия
ГЁДЕЛЬ Курт (1906 - 1978) — математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях математической логики, как теория… … История Философии: Энциклопедия
Электроника 60 — Тип Промышленная микроЭВМ Выпущен ? Выпускался по ? Процессор М2 Память 4К слов при поставке, максимально адресуемая 32К сл … Википедия
Commodore 64 — Тип Персональный компьютер Выпущен Август 1982 … Википедия
ЛОГИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО — последовательность высказываний, часть которых является ее исходными утверждениями аксиомами, а все другие выводятся из них по четко указанным правилам вывода (основные из них дедукция, математическая индукция, правило подстановки) или вводятся с … Философия науки: Словарь основных терминов
